2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Computers Ltd: What They Really Can't Do
David Harel
Категория:
Компьютеры
1.70 Mb
#2
Computers Ltd: What They Really Can't Do
David Harel
3.57 Mb
#3
Algorithmik: Die Kunst des Rechnens
David Harel
,
Yishai Feldman
28.25 Mb
#4
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Manfred Broy
,
Johannes Gruenbauer
,
David Harel
,
Tony Hoare
6.45 Mb
#5
Rzecz o istocie informatyki: algorytmika
David Harel
12.35 Mb
#6
Dynamic Logic (Foundations of Computing)
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
2.24 Mb
#7
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
David Harel
,
Rami Marelly
6.51 Mb
#8
Modeling Reactive Systems With Statecharts : The Statemate Approach
David Harel
,
Michal Politi
3.13 Mb
#9
Dynamic logic
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
Категория:
Mathematics
,
Algebra
,
Mathematical logic
2.23 Mb
#10
Algorithmics. Spirit of Computing
David Harel
,
Yishai Feldman
Категория:
Computer Science
9.29 Mb
#11
Statecharts. A Visual Formalism for Complex Systems
David Harel
Категория:
Медицина
1.81 Mb
#12
Algorithmic bioprocesses
Anne Condon
,
David Harel
,
Joost N. Kok
,
Arto Salomaa
,
Erik Winfree
Категория:
Cs_Computer science
,
CsBi_Bioinformatics
13.14 Mb
#13
Algorithmik: Die Kunst des Rechnens (German Edition)
David Harel
,
Yishai Feldman
,
Micaela Krieger
29.36 Mb
#14
Dynamic Logic
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
1.71 Mb
#15
Algorithmics: The Spirit of Computing
David Harel
3.75 Mb
#16
Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
Oscar Nierstrasz
,
Jon Whittle
,
David Harel
,
Gianna Reggio
17.51 Mb